A non-deterministic finite tree automaton is complete if there is at least one transition rule available for every possible symbol-states combination. Un automate d'arbres fini non déterministe est complet s'il y a au moins une règle de transition disponible pour chaque combinaison possible symbole-état.
